Specification and Modelling of Distributed Systems

Authors: A. S. Bavan, G. Abeysinghe, R. Maye

Research in Computing Science, Vol. 3, pp. 111-116, 2003.